MGI:4430233 Foxp3<deltaCNS2gfp> http://identifiers.org/mgd/MGI:4430233 Foxp3<tm6.2Ayr> Null/knockout|Reporter targeted mutation 6.2, Alexander Y Rudensky